1. Proofs and types
پدیدآورنده : / Jean-Yves Girard
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Logic, Symbolic and mathematical,Type theory
رده :
E-BOOK
